<:
定義域制限
集合sと関係rに対し、s <: rは、sの要素で始まるタプルのみをrから集めた関係になる
例
code:_
address = {(G0, A0), (G0, G1), (A0, D0),
(G1, D0),(G1, A1), (A1, D1), (A2, D2)}
Group = { (G0), (G1) }
// addressの中で、G0, G1から始まるもの
Group <: address = { (G0, A0), (G0, G1),
(G1, D0),(G1, A1) }